formal specification
[网络] 形式规约；形式规格说明；形式化描述
热门查询
- rigorous adj. 严格的，严厉的；严密的；严酷的
- Henson [人名] [英格兰人姓氏] 亨森取自父名，来源于Henn,含义是“亨之子”(son of Henn)
- mortal adj. 凡人的；致死的；终有一死的；不共戴天的 n. 人类，凡人 n. (Mortal)人名；(法、葡)莫塔尔
- lipton n. 利普顿（姓氏）
- presuppose vt. 假定；预料；以…为先决条件
- imperil vt. 危及；使陷于危险
- supranational adj. 超国家的；超民族的
- orthopaedics n. 整形外科；整形术
- Javier [地名] [西班牙] 哈维尔
- della n. 黛拉(Delia的异体)(f.)
- Shulman [人名] 舒尔曼
- liar n. 说谎的人
- checker n. 检验员；收银员；棋子；方格图案；制止者 vt. 把…画成棋盘形方格图案；使多样化
- fitted v. 适应（fit的过去分词）；合适；为…提供设备 adj. 合适的；订做的；有…设备的
- detecting n. 检测；检定 v. 发现；探知（detect的现在分词） adj. 探测的
- plotted adj. 标绘的 v. 策划（plot的过去分词）；划分；绘制…的地图
- Mair adj. 更多的; 更大的; 另外的; 其余的
- Chapeltown 查珀尔敦
- rooftop n. 屋顶 adj. 屋顶上的
- till prep. 直到 conj. 直到...为止 n. [地理][水文] 冰碛；放钱的抽屉；备用现金 vt. 耕种；犁 vi. 耕种；耕耘 n. (Till)人名；(法)蒂伊；(匈、德、捷)蒂尔；(英)蒂尔(女子教名Matilda的昵称)
